单词propositional calculus
n.: 命题逻辑
网络: 命题演算；命题代数；命题演算系统
Construction propositional calculus and predicate calculus system, mathematical theorems derived from the logical axioms;
构造命题演算系统和谓词演算系统，从逻辑公理推导出数学定理；
Application of Wu"s Method in Propositional Calculus
吴方法在命题逻辑中的应用